Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
581	Phillip J. Windley 151 S[removed]East Lindon, UT[removed][removed]removed] Add to Reading List Source URL: phil.windley.org Language: English - Date: 2003-03-12 22:59:46 Formal methods Software Automated theorem proving Very-large-scale integration Formal verification Actor model E theorem prover Hardware description language HOL Theoretical computer science Logic in computer science Applied mathematics
582	Product Overview Software Technology Tool Qualification Support Pack® A compliance data package that is used for the qualification of LDRA verification tools Add to Reading List Source URL: www.ldra.com Language: English - Date: 2015-03-26 09:28:03 Technology Software requirements Evaluation Embedded systems Computing DO-178C Verification and validation Verification Validation Systems engineering Pharmaceutical industry Validity
583	Tools for Traceable Security Verification Jan Jurjens and Yijun Yu ¨ Computing Department, The Open University, UK http://mcs.open.ac.uk/{jj2924,yy66} Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:25 Science Computing Code refactoring Extreme programming Transport Layer Security Cryptography Traceability Formal verification Public-key cryptography Technology Software engineering Formal methods
584	Quality Management System Requirements For Warrant of Fitness and Certificate of Fitness Inspecting Organisations 30 MAY 2014 Add to Reading List Source URL: vehicleinspection.nzta.govt.nz Language: English - Date: 2014-11-27 16:47:31 Quality management system Warrant of Fitness Quality assurance Requirement Verification and validation Technology Business Management Quality management Software requirements Systems engineering
585	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification D EFINING H IGHER O RDER L OGIC Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Formal methods Model theory Boolean algebra Fixed-point combinator First-order logic Hoare logic Propositional calculus Simply typed lambda calculus Mathematical logic Logic Theoretical computer science
586	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein {} Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Law Intellectual property law Creative Commons Free music Lambda calculus Copyright Hoare logic Open content Computer law Copyleft
587	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein {P} . . . {Q} Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Law Plagiarism Formal languages Creative Commons Free music String Attribution Open content Computer law Copyleft
588	Microsoft Word - HMI_Instrument_SRR_Agenda_v2.doc Add to Reading List Source URL: hmi.stanford.edu Language: English - Date: 2003-03-18 12:47:14 Space science Lockheed Martin Solar and Astrophysics Laboratory System requirements Quality assurance Technology Spacecraft Requirement Functional requirement Verification Systems engineering Software requirements Space
589	Algorithmic Verification The software crisis (and hardware as well) Algorithmic Verification Comp4151 Lecture 1-B Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:08 Model checking Ansgar Lock Communications protocol Thread Critical section Concurrency control Computing Mutual exclusion
590	COMP4161 S2/2014 Advanced Topics in Software Verification Assignment 2 This assignment starts on Mon, [removed]and is due on Sun, [removed], 23:59h. We will accept Isabelle .thy files only. Submit using give on a CSE Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Models of computation Map Lambda calculus Type system Software engineering Computing Theoretical computer science

UPDATE